one-place predicate calculus
[数] 一元谓词演算
热门查询
- hellfire n. 地狱之火；严酷的苦难
- anglophone n. 以英语为母语的人
- steinway 斯坦韦 n. (Steinway)人名；(德)施泰因韦；(英)斯坦韦
- solver n. 解决者；[计] 解算机；[数] 求解程序
- dishearten vt. 使灰心，使沮丧，使气馁
- quadrillion n. 百万之四次方；千的五次方 adj. 千之五次方的
- layette n. 婴儿的全套服装；初生婴儿的全套用品
- centric adj. 中央的，中心的
- almighty n. 全能的神 adj. 全能的；有无限权力的 adv. 非常
- melville n. 梅尔维尔（男子名）；梅尔维尔湖（位于加拿大东部）
- motorbike n. 摩托车
- pervasively 遍布地 普遍地 流行地 弥漫地
- vaulted adj. 拱形的；圆顶的 v. 做成拱形；撑杆跳跃（vault的过去分词形式）
- Jerusalem n. 耶路撒冷(以色列首都)；耶路撒冷〔巴勒斯坦古城,犹太教、基督教和伊斯兰教的圣地〕
- corpus n. [计] 语料库；文集；本金 n. (Corpus)人名；(西)科尔普斯
- voyage n. 航行；航程；旅行记 vt. 飞过；渡过 vi. 航行；航海
- biowarfare n. 生物战；细菌战（等于biological warfare）
- tack n. 大头钉；粗缝；行动方针；食物 vt. 附加；以大头针钉住 vi. 抢风航行；作文字形移动 n. (Tack)人名；(英、德、西)塔克
- patented adj. 专利的
- depredation n. 掠夺；破坏，破坏痕迹
考试词汇表
- excrementum vespertilii
- excretion rate constant
- excretory urethrography
- executable machine code
- executable program unit
- execute channel program
- execute(exec) statement
- execution character set
- execution communication
- execution of a criminal
- execution of instrument
- execution of punishment
- execution of robot plan
- execution of the budget
- execution order of node
- execution request block
- executioner of business
- executive communication
- executive process table
- executive quality board
